{ a : Natural }
